module Snake_Random {
	requires Snake;
}